An Extensive Model Checking Framework for Multi-agent Systems (Demonstration)
نویسندگان
چکیده
In this work, we propose a novel probabilistic modeling language PML-MAS to capture the stochastic characteristics of multi-agent systems (MASs). Moreover, we design a model checking framework for MAS, which is highly extensible. It provides powerful modeling editor, interactive simulator and automatic verifier for MASs. In addition, it can support various MAS model languages via extracting their semantic models and verification algorithms.
منابع مشابه
An extensive model checking framework for multi-agent systems
In this work, we propose a novel probabilistic modeling language PML-MAS to capture the stochastic characteristics of multi-agent systems (MASs). Moreover, we design a model checking framework for MAS, which is highly extensible. It provides powerful modeling editor, interactive simulator and automatic verifier for MASs. In addition, it can support various MAS model languages via extracting the...
متن کاملA Framework for the Formal Analysis of Multi-Agent Systems
In this paper we present an integrated formal framework for the speci cation and analysis of Multi-Agent Systems (MAS). Agents are speci ed in a synchronous programming language called Secure Operations Language (SOL) which supports the modular development of secure agents. Multi-agent systems are constructed from individual agent modules by using the composition operator of SOL, the semantics ...
متن کاملModel Checking Multi-Agent Systems
Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems. This paper explores a particular type of multi-agent system, in which each agent is viewed as having the three menta...
متن کاملTowards Formal Speciication and Veriication in Cyberspace
A formal framework for speciication and veriication of multi-agent systems is developed. Speciication of an infrastructure created by a mobile agent platform is presented. On the basis of the speciication, the notions of common ontology core, and agent's knowledge are introduced. A simple agent architecture is presented. Given agents' knowledge and decision mechanisms, model checking method is ...
متن کاملTowards Formal Speci cation and Veri cationin Cyberspace ?
A formal framework for speciication and veriication of multi-agent systems is developed. Speciication of an infrastructure created by a mobile agent platform is presented. On the basis of the speciication, the notions of common ontology core, and agent's knowledge are introduced. A simple agent architecture is presented. Given agents' knowledge and decision mechanisms, model checking method is ...
متن کامل